COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	A description of filed reports of special interest
C00004 ENDMK
C⊗;
A description of filed reports of special interest

Guttag and Horning, Formal Specification as a Design Tool
Xerox Parc CSL-80-1 January 1980
Specifies a display as an example.  Advocates defining the properties
of the data objects by suitable operators (functions and predicates)
and defining routines (executable functions and subroutines) in
terms of the operators.  The operators are not available for writing
programs.

%3Nisbett, Richard and Lee Ross (1979)%1: %2Human Inference: Strategies
and Shortcomings of Social Judgment%1, Prentice-Hall.

Maida, Anthony S., and Stuart C. Shapiro "Intensional Concepts in
Propositional Semantic Networks".  treats intentional concepts, refers
to First order theory of propositions ...

Lamport, Les "Timesets: A new method for temporal reasoning about programs"
where temporal logic is inadequate